Optimal. Leaf size=156 \[ \frac {15 b^2 (b d-a e)^4 x}{e^6}-\frac {(b d-a e)^6}{e^7 (d+e x)}-\frac {10 b^3 (b d-a e)^3 (d+e x)^2}{e^7}+\frac {5 b^4 (b d-a e)^2 (d+e x)^3}{e^7}-\frac {3 b^5 (b d-a e) (d+e x)^4}{2 e^7}+\frac {b^6 (d+e x)^5}{5 e^7}-\frac {6 b (b d-a e)^5 \log (d+e x)}{e^7} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.15, antiderivative size = 156, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {27, 45}
\begin {gather*} -\frac {3 b^5 (d+e x)^4 (b d-a e)}{2 e^7}+\frac {5 b^4 (d+e x)^3 (b d-a e)^2}{e^7}-\frac {10 b^3 (d+e x)^2 (b d-a e)^3}{e^7}+\frac {15 b^2 x (b d-a e)^4}{e^6}-\frac {(b d-a e)^6}{e^7 (d+e x)}-\frac {6 b (b d-a e)^5 \log (d+e x)}{e^7}+\frac {b^6 (d+e x)^5}{5 e^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 45
Rubi steps
\begin {align*} \int \frac {\left (a^2+2 a b x+b^2 x^2\right )^3}{(d+e x)^2} \, dx &=\int \frac {(a+b x)^6}{(d+e x)^2} \, dx\\ &=\int \left (\frac {15 b^2 (b d-a e)^4}{e^6}+\frac {(-b d+a e)^6}{e^6 (d+e x)^2}-\frac {6 b (b d-a e)^5}{e^6 (d+e x)}-\frac {20 b^3 (b d-a e)^3 (d+e x)}{e^6}+\frac {15 b^4 (b d-a e)^2 (d+e x)^2}{e^6}-\frac {6 b^5 (b d-a e) (d+e x)^3}{e^6}+\frac {b^6 (d+e x)^4}{e^6}\right ) \, dx\\ &=\frac {15 b^2 (b d-a e)^4 x}{e^6}-\frac {(b d-a e)^6}{e^7 (d+e x)}-\frac {10 b^3 (b d-a e)^3 (d+e x)^2}{e^7}+\frac {5 b^4 (b d-a e)^2 (d+e x)^3}{e^7}-\frac {3 b^5 (b d-a e) (d+e x)^4}{2 e^7}+\frac {b^6 (d+e x)^5}{5 e^7}-\frac {6 b (b d-a e)^5 \log (d+e x)}{e^7}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.07, size = 302, normalized size = 1.94 \begin {gather*} \frac {60 a^5 b d e^5-10 a^6 e^6+150 a^4 b^2 e^4 \left (-d^2+d e x+e^2 x^2\right )+100 a^3 b^3 e^3 \left (2 d^3-4 d^2 e x-3 d e^2 x^2+e^3 x^3\right )+50 a^2 b^4 e^2 \left (-3 d^4+9 d^3 e x+6 d^2 e^2 x^2-2 d e^3 x^3+e^4 x^4\right )+5 a b^5 e \left (12 d^5-48 d^4 e x-30 d^3 e^2 x^2+10 d^2 e^3 x^3-5 d e^4 x^4+3 e^5 x^5\right )+b^6 \left (-10 d^6+50 d^5 e x+30 d^4 e^2 x^2-10 d^3 e^3 x^3+5 d^2 e^4 x^4-3 d e^5 x^5+2 e^6 x^6\right )-60 b (b d-a e)^5 (d+e x) \log (d+e x)}{10 e^7 (d+e x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(358\) vs.
\(2(152)=304\).
time = 0.64, size = 359, normalized size = 2.30
method | result | size |
norman | \(\frac {\frac {b^{3} \left (10 e^{3} a^{3}-10 a^{2} b d \,e^{2}+5 a \,b^{2} d^{2} e -b^{3} d^{3}\right ) x^{3}}{e^{4}}+\frac {\left (a^{6} e^{6}-6 a^{5} b d \,e^{5}+30 a^{4} b^{2} d^{2} e^{4}-60 a^{3} b^{3} d^{3} e^{3}+60 a^{2} b^{4} d^{4} e^{2}-30 a \,b^{5} d^{5} e +6 b^{6} d^{6}\right ) x}{d \,e^{6}}+\frac {b^{6} x^{6}}{5 e}+\frac {3 b^{2} \left (5 e^{4} a^{4}-10 a^{3} b d \,e^{3}+10 a^{2} b^{2} d^{2} e^{2}-5 a \,b^{3} d^{3} e +b^{4} d^{4}\right ) x^{2}}{e^{5}}+\frac {b^{4} \left (10 a^{2} e^{2}-5 a b d e +b^{2} d^{2}\right ) x^{4}}{2 e^{3}}+\frac {3 b^{5} \left (5 a e -b d \right ) x^{5}}{10 e^{2}}}{e x +d}+\frac {6 b \left (a^{5} e^{5}-5 a^{4} b d \,e^{4}+10 a^{3} b^{2} d^{2} e^{3}-10 a^{2} b^{3} d^{3} e^{2}+5 a \,b^{4} d^{4} e -b^{5} d^{5}\right ) \ln \left (e x +d \right )}{e^{7}}\) | \(345\) |
default | \(\frac {b^{2} \left (\frac {1}{5} b^{4} x^{5} e^{4}+\frac {3}{2} a \,b^{3} e^{4} x^{4}-\frac {1}{2} b^{4} d \,e^{3} x^{4}+5 a^{2} b^{2} e^{4} x^{3}-4 a \,b^{3} d \,e^{3} x^{3}+b^{4} d^{2} e^{2} x^{3}+10 a^{3} b \,e^{4} x^{2}-15 a^{2} b^{2} d \,e^{3} x^{2}+9 a \,b^{3} d^{2} e^{2} x^{2}-2 b^{4} d^{3} e \,x^{2}+15 e^{4} a^{4} x -40 a^{3} b d \,e^{3} x +45 a^{2} b^{2} d^{2} e^{2} x -24 a \,b^{3} d^{3} e x +5 b^{4} d^{4} x \right )}{e^{6}}-\frac {a^{6} e^{6}-6 a^{5} b d \,e^{5}+15 a^{4} b^{2} d^{2} e^{4}-20 a^{3} b^{3} d^{3} e^{3}+15 a^{2} b^{4} d^{4} e^{2}-6 a \,b^{5} d^{5} e +b^{6} d^{6}}{e^{7} \left (e x +d \right )}+\frac {6 b \left (a^{5} e^{5}-5 a^{4} b d \,e^{4}+10 a^{3} b^{2} d^{2} e^{3}-10 a^{2} b^{3} d^{3} e^{2}+5 a \,b^{4} d^{4} e -b^{5} d^{5}\right ) \ln \left (e x +d \right )}{e^{7}}\) | \(359\) |
risch | \(\frac {6 b \ln \left (e x +d \right ) a^{5}}{e^{2}}-\frac {6 b^{6} \ln \left (e x +d \right ) d^{5}}{e^{7}}+\frac {3 b^{5} a \,x^{4}}{2 e^{2}}-\frac {b^{6} d \,x^{4}}{2 e^{3}}+\frac {5 b^{4} a^{2} x^{3}}{e^{2}}+\frac {b^{6} d^{2} x^{3}}{e^{4}}+\frac {10 b^{3} a^{3} x^{2}}{e^{2}}-\frac {2 b^{6} d^{3} x^{2}}{e^{5}}+\frac {15 b^{2} a^{4} x}{e^{2}}+\frac {5 b^{6} d^{4} x}{e^{6}}-\frac {b^{6} d^{6}}{e^{7} \left (e x +d \right )}-\frac {15 b^{4} a^{2} d \,x^{2}}{e^{3}}+\frac {b^{6} x^{5}}{5 e^{2}}-\frac {a^{6}}{e \left (e x +d \right )}-\frac {4 b^{5} a d \,x^{3}}{e^{3}}-\frac {30 b^{2} \ln \left (e x +d \right ) a^{4} d}{e^{3}}+\frac {60 b^{3} \ln \left (e x +d \right ) a^{3} d^{2}}{e^{4}}-\frac {60 b^{4} \ln \left (e x +d \right ) a^{2} d^{3}}{e^{5}}+\frac {30 b^{5} \ln \left (e x +d \right ) a \,d^{4}}{e^{6}}+\frac {9 b^{5} a \,d^{2} x^{2}}{e^{4}}-\frac {40 b^{3} a^{3} d x}{e^{3}}+\frac {45 b^{4} a^{2} d^{2} x}{e^{4}}-\frac {24 b^{5} a \,d^{3} x}{e^{5}}+\frac {6 a^{5} b d}{e^{2} \left (e x +d \right )}-\frac {15 a^{4} b^{2} d^{2}}{e^{3} \left (e x +d \right )}+\frac {20 a^{3} b^{3} d^{3}}{e^{4} \left (e x +d \right )}-\frac {15 a^{2} b^{4} d^{4}}{e^{5} \left (e x +d \right )}+\frac {6 a \,b^{5} d^{5}}{e^{6} \left (e x +d \right )}\) | \(440\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 337 vs.
\(2 (157) = 314\).
time = 0.29, size = 337, normalized size = 2.16 \begin {gather*} -6 \, {\left (b^{6} d^{5} - 5 \, a b^{5} d^{4} e + 10 \, a^{2} b^{4} d^{3} e^{2} - 10 \, a^{3} b^{3} d^{2} e^{3} + 5 \, a^{4} b^{2} d e^{4} - a^{5} b e^{5}\right )} e^{\left (-7\right )} \log \left (x e + d\right ) + \frac {1}{10} \, {\left (2 \, b^{6} x^{5} e^{4} - 5 \, {\left (b^{6} d e^{3} - 3 \, a b^{5} e^{4}\right )} x^{4} + 10 \, {\left (b^{6} d^{2} e^{2} - 4 \, a b^{5} d e^{3} + 5 \, a^{2} b^{4} e^{4}\right )} x^{3} - 10 \, {\left (2 \, b^{6} d^{3} e - 9 \, a b^{5} d^{2} e^{2} + 15 \, a^{2} b^{4} d e^{3} - 10 \, a^{3} b^{3} e^{4}\right )} x^{2} + 10 \, {\left (5 \, b^{6} d^{4} - 24 \, a b^{5} d^{3} e + 45 \, a^{2} b^{4} d^{2} e^{2} - 40 \, a^{3} b^{3} d e^{3} + 15 \, a^{4} b^{2} e^{4}\right )} x\right )} e^{\left (-6\right )} - \frac {b^{6} d^{6} - 6 \, a b^{5} d^{5} e + 15 \, a^{2} b^{4} d^{4} e^{2} - 20 \, a^{3} b^{3} d^{3} e^{3} + 15 \, a^{4} b^{2} d^{2} e^{4} - 6 \, a^{5} b d e^{5} + a^{6} e^{6}}{x e^{8} + d e^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 467 vs.
\(2 (157) = 314\).
time = 3.53, size = 467, normalized size = 2.99 \begin {gather*} -\frac {10 \, b^{6} d^{6} - {\left (2 \, b^{6} x^{6} + 15 \, a b^{5} x^{5} + 50 \, a^{2} b^{4} x^{4} + 100 \, a^{3} b^{3} x^{3} + 150 \, a^{4} b^{2} x^{2} - 10 \, a^{6}\right )} e^{6} + {\left (3 \, b^{6} d x^{5} + 25 \, a b^{5} d x^{4} + 100 \, a^{2} b^{4} d x^{3} + 300 \, a^{3} b^{3} d x^{2} - 150 \, a^{4} b^{2} d x - 60 \, a^{5} b d\right )} e^{5} - 5 \, {\left (b^{6} d^{2} x^{4} + 10 \, a b^{5} d^{2} x^{3} + 60 \, a^{2} b^{4} d^{2} x^{2} - 80 \, a^{3} b^{3} d^{2} x - 30 \, a^{4} b^{2} d^{2}\right )} e^{4} + 10 \, {\left (b^{6} d^{3} x^{3} + 15 \, a b^{5} d^{3} x^{2} - 45 \, a^{2} b^{4} d^{3} x - 20 \, a^{3} b^{3} d^{3}\right )} e^{3} - 30 \, {\left (b^{6} d^{4} x^{2} - 8 \, a b^{5} d^{4} x - 5 \, a^{2} b^{4} d^{4}\right )} e^{2} - 10 \, {\left (5 \, b^{6} d^{5} x + 6 \, a b^{5} d^{5}\right )} e + 60 \, {\left (b^{6} d^{6} - a^{5} b x e^{6} + {\left (5 \, a^{4} b^{2} d x - a^{5} b d\right )} e^{5} - 5 \, {\left (2 \, a^{3} b^{3} d^{2} x - a^{4} b^{2} d^{2}\right )} e^{4} + 10 \, {\left (a^{2} b^{4} d^{3} x - a^{3} b^{3} d^{3}\right )} e^{3} - 5 \, {\left (a b^{5} d^{4} x - 2 \, a^{2} b^{4} d^{4}\right )} e^{2} + {\left (b^{6} d^{5} x - 5 \, a b^{5} d^{5}\right )} e\right )} \log \left (x e + d\right )}{10 \, {\left (x e^{8} + d e^{7}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 311 vs.
\(2 (143) = 286\).
time = 0.69, size = 311, normalized size = 1.99 \begin {gather*} \frac {b^{6} x^{5}}{5 e^{2}} + \frac {6 b \left (a e - b d\right )^{5} \log {\left (d + e x \right )}}{e^{7}} + x^{4} \cdot \left (\frac {3 a b^{5}}{2 e^{2}} - \frac {b^{6} d}{2 e^{3}}\right ) + x^{3} \cdot \left (\frac {5 a^{2} b^{4}}{e^{2}} - \frac {4 a b^{5} d}{e^{3}} + \frac {b^{6} d^{2}}{e^{4}}\right ) + x^{2} \cdot \left (\frac {10 a^{3} b^{3}}{e^{2}} - \frac {15 a^{2} b^{4} d}{e^{3}} + \frac {9 a b^{5} d^{2}}{e^{4}} - \frac {2 b^{6} d^{3}}{e^{5}}\right ) + x \left (\frac {15 a^{4} b^{2}}{e^{2}} - \frac {40 a^{3} b^{3} d}{e^{3}} + \frac {45 a^{2} b^{4} d^{2}}{e^{4}} - \frac {24 a b^{5} d^{3}}{e^{5}} + \frac {5 b^{6} d^{4}}{e^{6}}\right ) + \frac {- a^{6} e^{6} + 6 a^{5} b d e^{5} - 15 a^{4} b^{2} d^{2} e^{4} + 20 a^{3} b^{3} d^{3} e^{3} - 15 a^{2} b^{4} d^{4} e^{2} + 6 a b^{5} d^{5} e - b^{6} d^{6}}{d e^{7} + e^{8} x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 429 vs.
\(2 (157) = 314\).
time = 1.47, size = 429, normalized size = 2.75 \begin {gather*} \frac {1}{10} \, {\left (2 \, b^{6} - \frac {15 \, {\left (b^{6} d e - a b^{5} e^{2}\right )} e^{\left (-1\right )}}{x e + d} + \frac {50 \, {\left (b^{6} d^{2} e^{2} - 2 \, a b^{5} d e^{3} + a^{2} b^{4} e^{4}\right )} e^{\left (-2\right )}}{{\left (x e + d\right )}^{2}} - \frac {100 \, {\left (b^{6} d^{3} e^{3} - 3 \, a b^{5} d^{2} e^{4} + 3 \, a^{2} b^{4} d e^{5} - a^{3} b^{3} e^{6}\right )} e^{\left (-3\right )}}{{\left (x e + d\right )}^{3}} + \frac {150 \, {\left (b^{6} d^{4} e^{4} - 4 \, a b^{5} d^{3} e^{5} + 6 \, a^{2} b^{4} d^{2} e^{6} - 4 \, a^{3} b^{3} d e^{7} + a^{4} b^{2} e^{8}\right )} e^{\left (-4\right )}}{{\left (x e + d\right )}^{4}}\right )} {\left (x e + d\right )}^{5} e^{\left (-7\right )} + 6 \, {\left (b^{6} d^{5} - 5 \, a b^{5} d^{4} e + 10 \, a^{2} b^{4} d^{3} e^{2} - 10 \, a^{3} b^{3} d^{2} e^{3} + 5 \, a^{4} b^{2} d e^{4} - a^{5} b e^{5}\right )} e^{\left (-7\right )} \log \left (\frac {{\left | x e + d \right |} e^{\left (-1\right )}}{{\left (x e + d\right )}^{2}}\right ) - {\left (\frac {b^{6} d^{6} e^{5}}{x e + d} - \frac {6 \, a b^{5} d^{5} e^{6}}{x e + d} + \frac {15 \, a^{2} b^{4} d^{4} e^{7}}{x e + d} - \frac {20 \, a^{3} b^{3} d^{3} e^{8}}{x e + d} + \frac {15 \, a^{4} b^{2} d^{2} e^{9}}{x e + d} - \frac {6 \, a^{5} b d e^{10}}{x e + d} + \frac {a^{6} e^{11}}{x e + d}\right )} e^{\left (-12\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.09, size = 523, normalized size = 3.35 \begin {gather*} x^4\,\left (\frac {3\,a\,b^5}{2\,e^2}-\frac {b^6\,d}{2\,e^3}\right )-x^3\,\left (\frac {2\,d\,\left (\frac {6\,a\,b^5}{e^2}-\frac {2\,b^6\,d}{e^3}\right )}{3\,e}-\frac {5\,a^2\,b^4}{e^2}+\frac {b^6\,d^2}{3\,e^4}\right )+x^2\,\left (\frac {10\,a^3\,b^3}{e^2}+\frac {d\,\left (\frac {2\,d\,\left (\frac {6\,a\,b^5}{e^2}-\frac {2\,b^6\,d}{e^3}\right )}{e}-\frac {15\,a^2\,b^4}{e^2}+\frac {b^6\,d^2}{e^4}\right )}{e}-\frac {d^2\,\left (\frac {6\,a\,b^5}{e^2}-\frac {2\,b^6\,d}{e^3}\right )}{2\,e^2}\right )+x\,\left (\frac {d^2\,\left (\frac {2\,d\,\left (\frac {6\,a\,b^5}{e^2}-\frac {2\,b^6\,d}{e^3}\right )}{e}-\frac {15\,a^2\,b^4}{e^2}+\frac {b^6\,d^2}{e^4}\right )}{e^2}-\frac {2\,d\,\left (\frac {20\,a^3\,b^3}{e^2}+\frac {2\,d\,\left (\frac {2\,d\,\left (\frac {6\,a\,b^5}{e^2}-\frac {2\,b^6\,d}{e^3}\right )}{e}-\frac {15\,a^2\,b^4}{e^2}+\frac {b^6\,d^2}{e^4}\right )}{e}-\frac {d^2\,\left (\frac {6\,a\,b^5}{e^2}-\frac {2\,b^6\,d}{e^3}\right )}{e^2}\right )}{e}+\frac {15\,a^4\,b^2}{e^2}\right )-\frac {\ln \left (d+e\,x\right )\,\left (-6\,a^5\,b\,e^5+30\,a^4\,b^2\,d\,e^4-60\,a^3\,b^3\,d^2\,e^3+60\,a^2\,b^4\,d^3\,e^2-30\,a\,b^5\,d^4\,e+6\,b^6\,d^5\right )}{e^7}+\frac {b^6\,x^5}{5\,e^2}-\frac {a^6\,e^6-6\,a^5\,b\,d\,e^5+15\,a^4\,b^2\,d^2\,e^4-20\,a^3\,b^3\,d^3\,e^3+15\,a^2\,b^4\,d^4\,e^2-6\,a\,b^5\,d^5\,e+b^6\,d^6}{e\,\left (x\,e^7+d\,e^6\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________